a := 4;
b := a + 3;
c := a + b;
while a
do
  b := b - a;
  a := a - 1
od
